- cálculo de predicado
- Parte de la lógica simbólica moderna que expone de modo sistemático las relaciones lógicas existentes entre las proposiciones que incluyen cuantificadores como "todos y "algunos.El cálculo de predicados, que suele basarse en alguna forma del cálculo proposicional, introduce cuantificadores, variables individuales y letras de predicados. Una oración de la forma "Todas las F son G o H se representa simbólicamente como (∀x)[Fx ⊃ (Gx ∨ Hx)], y "Algunas F son G y H a la vez se representa simbólicamente como (∃x)[Fx ∧ (Gx ∧ Hx)]. Una vez determinadas las condiciones de verdad y falsedad de los tipos básicos de proposiciones, las proposiciones formulables dentro del cálculo se agrupan en tres clases mutuamente excluyentes: (1) aquellas que son verdaderas en cada especificación posible del significado de sus signos de predicado, como "Todo es F o es no F; (2) aquellas que son falsas en cada especificación de ese tipo, como "Algo es F y no F; y (3) aquellas que son verdaderas en algunas especificaciones y falsas en otras, como "Algo es F y es G. Estas proposiciones reciben respectivamente el nombre de proposiciones válidas, inconsistentes y contingentes. Ciertos tipos de proposiciones válidas pueden ser seleccionados como axiomas o como la base de reglas de inferencia. Existen múltiples axiomatizaciones completas del cálculo de predicados de primer orden (u orden inferior), donde "primer orden significa que los cuantificadores ligan variables individuales, pero no variables que se extienden sobre predicados de individuos. See also lógica.
Enciclopedia Universal. 2012.
